﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

using sapphirelang.AST.Exprs;

namespace sapphirelang.AST.Patterns
{
    // pat : type
    // fails if the input is not of the specified type;
    // otherwise, matches the input against a subpattern.
    class TypePattern
    {
        public Pattern pat;
        public Expr type;

        public TypePattern(Pattern pat, Expr type)
        {
            this.pat = pat;
            this.type = type;
        }
    }
}
